Titles/ISBN

Showing 1 - 7 of 7 results

Search Titles

Below Are Your Selected Attending Tradeshow


Data Validation

Data Validation

by Jean-Louis Boulanger
  • Published in 2020
  • 250
CENELEC 50128 and IEC 62279 Standards

CENELEC 50128 and IEC...

by Jean-Louis Boulanger
  • Published in 2015
  • 378
SCADE / Language and Applications

SCADE / Language and A...

by Jean-Louis Boulanger
  • Published in 2020
  • 304
Safety of Software-based Systems

Safety of Software-bas...

by Jean-Louis Boulanger
  • Published in 2020
Formal Method: Industrial Used from Model to the Code

Formal Method: Industr...

by Jean-Louis Boulanger
  • Published in 2012
  • 384
Static Analysis of Software: The Abstract Interpretation

Static Analysis of Sof...

by Jean-Louis Boulanger
  • Published in 2011
  • 331
Safety of Computer Archtiectures

Safety of Computer Arc...

by Jean-Louis Boulanger
  • Published in 2010
  • 512

Showing 1 - 7 of 7 results

loading